Memory safety

Results: 222



#Item
111Preservation / Repository / Science / Knowledge / Archival science / Radioactive waste / Nuclear safety

Glossary of Terms - Preservation of Records, Knowledge and Memory (RK&M) Across Generations - Definitions as of 3 March 2014

Add to Reading List

Source URL: www.oecd-nea.org

Language: English - Date: 2014-03-10 04:15:15
112Software engineering / Valgrind / Integer overflow / Infinite loop / Memory safety / Fuzz testing / Stack / Pointer / Symbolic execution / Computer programming / Software bugs / Computing

Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs David Molnar UC Berkeley Xue Cong Li

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2015-01-21 19:48:40
113Manufacturing / Computer memory / Door furniture / Latch / Norfolk / Flip-flop / Rivet / Safety wire / Wire / Technology / Construction / Fasteners

14401 Keil Road NE, Aurora, Oregon, USA[removed]PHONE[removed]  FAX[removed]  www.vansaircraft.com  [removed] Service Letters and Bulletins: www.vansaircraft.com/public/service.htm NOTIFICATION

Add to Reading List

Source URL: www.vansaircraft.com

Language: English - Date: 2014-06-23 13:22:36
114Computer programming / Pointer / Type safety / Type system / Struct / C++ classes / Dynamical system / Array data type / C / Data types / Software engineering / Computing

Low-Level Linear Memory Management Chris Hawblitzel Edward Wei Heng Huang

Add to Reading List

Source URL: chrishawblitzel.net

Language: English - Date: 2009-01-18 14:58:05
115Interrupts / Computer memory / Direct memory access / Motherboard / Device driver / Memory-mapped I/O / Interrupt / Microkernel / Operating system / Computer architecture / Computer hardware / Computing

Device Driver Safety Through a Reference Validation Mechanism ∗ Dan Williams, Patrick Reynolds, Kevin Walsh, Emin G¨un Sirer, Fred B. Schneider Cornell University Abstract Device drivers typically execute in superviso

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-09-09 23:18:03
116Data types / Software bugs / Primitive types / Static program analysis / Pointer / Compiler construction / Alias analysis / Aliasing / Memory safety / Software engineering / Computing / Computer programming

Effective Dynamic Detection of Alias Analysis Errors Jingyue Wu, Gang Hu, Yang Tang, Junfeng Yang Columbia University, United States {jingyue,ganghu,ty,junfeng}@cs.columbia.edu

Add to Reading List

Source URL: systems.cs.columbia.edu

Language: English - Date: 2013-09-04 15:38:19
117Neuropsychological tests / Transport / Intelligence tests / Clinical psychology / Road safety / Wechsler Adult Intelligence Scale / Intelligence quotient / Working memory / Useful field of view / Psychological testing / Psychology / Cognitive tests

Beyond summarized measures: predictability of specific measures of simulated driving by specific physical and psychological measures in older drivers. Ariane Cuenen¹*, Ellen Jongen¹, Tom Brijs, Kris Brijs¹˒², Mark L

Add to Reading List

Source URL: www.ictct.org

Language: English - Date: 2014-12-22 09:43:28
118C++ / C programming language / Data types / Type theory / Procedural programming languages / Cyclone / Pointer / Type safety / Struct / Computing / Software engineering / Computer programming

Region-Based Memory Management in Cyclone ∗ Dan Grossman Michael Hicks Greg Morrisett Trevor Jim†

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2002-04-21 13:06:12
119Data types / C++ / Primitive types / Type theory / C programming language / Pointer / C / Type safety / Reference / Software engineering / Computing / Computer programming

Beyond the PDP-11: Architectural support for a memory-safe C abstract machine David Chisnall Colin Rothwell Robert N. M. Watson Jonathan Woodruff

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2015-01-28 05:35:17
120Leak detection / Pipelines / Water / Leak / Memory leak / NEC / Fire hydrant / Leak noise correlator / Technology / Water industry / Plumbing

Special Issue on Solutions for Society - Creating a Safer and More Secure Society For the security and safety of critical infrastructure A Water Leak Detection Service Based on Sensors and ICT Solutions

Add to Reading List

Source URL: www.nec.com

Language: English - Date: 2015-01-20 23:46:16
UPDATE